test:
	guile -s logic-1.scm
	guile -s arith-2.scm
	guile -s peano.scm
	guile -s klop.scm
	guile -s free-group.scm
